#include <stdio.h>

int main(int argc, char *argv[]) 
{
	int black_friday=0,year,ping,run,month,day,d[12],week,j[12];
	scanf("%d",&year);
	run=(year-1900-1)/4;
	ping=year-1900-run;
	if(year%4==0)
			for(int i=0;i<12;i++)
			{
				d[0]=13;
				if(i==3||i==5||i==7||i==8||i==10||i==1||i==11)d[i]=d[i-1]+31;
				d[2]=d[1]+29;
				if(i==4||i==6||i==9)d[i]=d[i-1]+30;
			}
	else
		for(int i=0;i<12;i++)
			{
				d[0]=13;
				if(i==3||i==5||i==7||i==8||i==10||i==1||i==11)d[i]=d[i-1]+31;
				d[2]=d[1]+28;
				if(i==4||i==6||i==9)d[i]=d[i-1]+30;
			}
	
	for(int i=0;i<12;i++)
		{
			week=(run*366+ping*365+d[i])%7;
			if(week==5)
				{
					j[black_friday]=i;
					black_friday++;
				}
		}
	if(black_friday>1)
		{
			printf("There are %d Black Fridays in year %d.\n",black_friday,year);
			printf("They are:\n");
			for(int i=0;i<black_friday;i++)
				printf("%d/%d/13\n",year,j[i]+1);
		}
	if(black_friday==1)
		{
			printf("There is %d Black Friday in year %d.\n",black_friday,year);
			printf("It is:\n");
			for(int i=0;i<black_friday;i++)
				printf("%d/%d/13\n",year,j[i]+1);
		}

	
}